%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%                            wcet_prot.sty
%
%                           
%                               13.03.07
%
%              Institut f"ur Technische Informatik (182/1) 
%                          Real Time Systems Group
%                       Technische Universit"at Wien 
%                        1040 Treitlstr. 3, 3. Stk.
%                        (www.vmars.tuwien.ac.at)
% 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% packages
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\usepackage{fancyheadings}
\usepackage{german}
\usepackage{graphicx}
\usepackage{listings}
\usepackage[T1]{fontenc}
\usepackage[latin1]{inputenc}
\usepackage{times}
\usepackage{epsfig}

%in order to get the source code in a really good shape
\lstset{%backgroundcolor=\color[gray]{.9},
         extendedchars=true,
         basicstyle=\scriptsize,
%        frame={tb},
%         morekeywords={outp,inp,bit_is_clear,bit_is_set,sei,cli,sbi,cbi,INTERRUPT,SIGNAL,uint8,uint16_t,uint32_t,uint64_t,int8_t,int16_t,int32_t,int64_t,memptr},
         language=C,
	 breaklines=true,
%         lineskip=2pt,
%         numbers=left,
%         stepnumber=5,
         }


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% user-defined commands
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% typeset pin numbers
\newcommand{\pin}[1]{\emph{\textbf{#1}}\ }
%\renewcommand{\chaptername}{Aufgabe}

\newcommand{\matrnr}{Matr. Nr.}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% some size definitions and counter settings
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\oddsidemargin 1cm
\evensidemargin 1cm
\topmargin 0pt
\headsep 50pt
\textheight 21.5cm
\textwidth 14.1cm

\renewcommand{\floatpagefraction}{0.9}
\renewcommand{\textfraction}{0.05}
\renewcommand{\topfraction}{1.0}
\renewcommand{\bottomfraction}{1.0}

\setcounter{totalnumber}{3}
\setcounter{bottomnumber}{3}
\setcounter{topnumber}{3}

\setlength{\unitlength}{1mm}
\setlength{\parindent}{6mm}
\setlength{\parskip}{12pt plus2pt minus2pt}

\sloppy

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% define variables used on titlepage
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% heading
\def\headline#1{\gdef\@headline{#1}}
% authors
\def\vornamea#1{\gdef\@vornamea{#1}}
\def\nachnamea#1{\gdef\@nachnamea{#1}}
\def\matrikela#1{\gdef\@matrikela{#1}}
\def\emaila#1{\gdef\@emaila{#1}}

\def\vornameb#1{\gdef\@vornameb{#1}}
\def\nachnameb#1{\gdef\@nachnameb{#1}}
\def\matrikelb#1{\gdef\@matrikelb{#1}}
\def\emailb#1{\gdef\@emailb{#1}}

\def\vornamec#1{\gdef\@vornamec{#1}}
\def\nachnamec#1{\gdef\@nachnamec{#1}}
\def\matrikelc#1{\gdef\@matrikelc{#1}}
\def\emailc#1{\gdef\@emailc{#1}}

\def\vornamed#1{\gdef\@vornamed{#1}}
\def\nachnamed#1{\gdef\@nachnamed{#1}}
\def\matrikeld#1{\gdef\@matrikeld{#1}}
\def\emaild#1{\gdef\@emaild{#1}}

% address of department
\def\address#1{\gdef\@address{#1}}
% LVA-Nr.
\def\lvanr#1{\gdef\@aufgabe{#1}}

\setcounter{footnote}{0} 

% initialize variables
\gdef\@headline{Timing Analysis for Safety-Critical Real-Time Systems VU} 
%\gdef\@title{Laborprotokoll}

\gdef\@vornamea{VStud1}
\gdef\@nachnamea{NStud1}
\gdef\@matrikela{000000}
\gdef\@emaila{e000000@student.tuwien.ac.at}

\gdef\@vornameb{VStud2}
\gdef\@nachnameb{NStud2}
\gdef\@matrikelb{000000}
\gdef\@emailb{e000000@student.tuwien.ac.at}

\gdef\@vornamec{VStud3}
\gdef\@nachnamec{NStud3}
\gdef\@matrikelc{0000000}
\gdef\@emailc{e000000@student.tuwien.ac.at}

\gdef\@aufgabe{zu Aufgabe 1}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% titlepage
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\maketitle{
\begin{titlepage}

% enlarge page
\setlength{\topmargin}{0pt}
\setlength{\headheight}{0pt}
\setlength{\headsep}{0pt}
\setlength{\footskip}{0pt}

\let\footnotesize\small \let\footnoterule\relax \setcounter{page}{1}
\null
\vfill
\large
\vskip -4 cm 

\begin{center}
% heading
{\LARGE\bf \@headline \par} \vskip 2cm

\vskip 1cm

% title
{\LARGE\bf Protocol \par}
\vskip 0.5cm
{\Huge\bf \@title \par} 
\vskip 1cm
%{\Large \bf \@aufgabe \par}
\vskip 4cm

\begin{flushright}
\@author
\vskip 1cm
Vienna, at~\today{}
\end{flushright}
\end{center} \par
\vskip 1.5cm 

\end{titlepage}

\setcounter{footnote}{0} 
\let\thanks\relax
} % \def\maketitle


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newenvironment{Ventry}[1]%
{\begin{list}{}{\renewcommand{\makelabel}[1]{\textbf{##1:}\hfill}%
\settowidth{\labelwidth}{\textbf{#1:}}%
\setlength{\leftmargin}{\labelwidth}%
\addtolength{\leftmargin}{\labelsep}}}%
{\end{list}}

\newcommand{\tablesize}{\fontsize{8}{10}\selectfont}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% layout of non-title pages
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\pagenumbering{roman}
\setlength{\parskip}{5pt plus2pt minus2pt}

\setlength{\parskip}{1mm}
\clearpage
\setlength{\parskip}{5pt plus2pt minus2pt}

\pagestyle{fancy}
%\renewcommand{\chaptermark}[1]{\markboth{\thechapter\ #1}{}}
\renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
\addtolength{\headheight}{2pt}

\pagenumbering{arabic}
\setcounter{page} {1}
